clauses
% No valid places.
place("Back",1,0.0,0.0).
place("Back",2,1.0,0.0).
place("Back",3,1.0,1.0).
place("Back",4,0.0,1.0).
place("Back",5,0.5,0.5).
place("Fore",1,0.05,0.05).
place("Fore",2,0.9,0.1).
place("Fore",3,0.9,0.9).
place("Fore",4,0.1,0.9).
place("Fore",5,0.5,0.5).
edge("X","Edges",1,1,2).
edge("Y","Edges",2,2,3).